$\oplus$($L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$reduce($\lambda$$f$,$g$. $f$ $\oplus$ $g$;$\otimes$;$L$)